has-src(i;k) == isrcv(k)  source(lnk(k)) = i 

latex

Definitions	p  q, isrcv(k), a = b, source(l), lnk(k)
FDL editor aliases	has-src